#include "task_alloc.c"
#include <stdlib.h>

int main(int argc, char* args[]) {
	long ptr_block_mask = 0x7FFFFFFF;
	task_t ptr_block[LONG_BITCOUNT];
	int i = 0xFFFFFFFF;
	ptr_block[LONG_BITCOUNT - 1].id = 404;
	/*
	printf("pointer to ptr_block_mask: %p\n", &ptr_block_mask);
	printf("index: %i\n", getTask_allocIndex(ptr_block, ~(long)0));
	*/
	printf("pointer: %p\n", task_alloc());
	printf("start: %p\n", memStart);
	printf("memNo: %d\n", memNoCurrent);
	printf("end:   %p\n", memEnd);
	/*
	printf("first free index: %p\n", getTask_allocIndex(memCurrent, ~0));
	printf("task_alloc: %p\n", task_alloc());
	*/
	printf("shifted << 16: %b\n", i<<16);
	i<<=16;
	printf("shifted << 16: %b\n", i);
	printf("sizeof(long): %d\n", sizeof(unsigned long));
	printf("sizeof(long): %d\n", sizeof(unsigned int));
}

